C data types - PDFSEARCH.IO - Document Search Engine

C data types
Results: 2337

#	Item
751	Specification of FlatZinc Nicholas Nethercote Version Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-06-19 04:02:31 Data types Procedural programming languages Primitive data type Literal ALGOL 68 Boolean data type Array data type C ECL programming language Software engineering Computing Computer programming
752	Specification of Zinc and MiniZinc Zinc version 0.10 MiniZinc version 1.0 Nicholas Nethercote Mark Wallace Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2009-05-20 00:54:28 Data types Type theory Cross-platform software Procedural programming languages C Enumerated type Type system Database index Computing Software engineering Programming language theory
753	Type Systems for Distributed Data Sharing ? Ben Liblit, Alex Aiken, and Katherine Yelick University of California, Berkeley Berkeley, CAAbstract. Parallel programming languages that let multiple processors a Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-03-28 02:50:20 Data types Primitive types C++ Memory management Pointer Reference C++ classes Garbage collection Struct Computing Software engineering Computer programming
754	An Operational Semantics for JavaScript Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 22:02:41 Scripting languages Cross-platform software Type theory Data types Functional programming JavaScript Operational semantics ECMAScript Type system Software engineering Computing Computer programming
755	Inferring Data Polymorphism in Systems Code Brian Hackett Alex Aiken Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-07-04 18:53:36 C programming language C++ Data types Procedural programming languages Type theory Struct C++ classes Pointer Sizeof Computing Software engineering Computer programming
756	Precise Reasoning for Programs Using Containers Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:18:41 Abstract data types C++ Standard Library Associative arrays Object-oriented programming Data types Symbol Iterator Container Associative containers Computing Software engineering Computer programming
757	Specification of FlatZinc Version 1.1 Ralph Becket 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-08-26 04:03:22 C programming language Data types C syntax Source code Array data type ATS Literal Constraint programming OptimJ Computer programming Software engineering Computing
758	Terra: A Multi-Stage Language for High-Performance Computing Zachary DeVito James Hegarty Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-04-01 01:52:08 Data types Functional programming Subroutines C++ Scripting languages Lua Eval C++11 Apply Software engineering Computing Computer programming
759	Language Support for Regions David Gay and Alex Aiken∗ EECS Department University of California, Berkeley {dgay,aiken}@cs.berkeley.edu Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2006-05-18 13:56:53 Memory management C programming language Data types Primitive types C++ Pointer Reference counting Region-based memory management Struct Software engineering Computing Computer programming
760	Adventures with LLVM in a magical land where pointers are not integers David Chisnall Approved for public release; distribution is unlimited. This research is sponsored by the Add to Reading List Source URL: llvm.org Language: English - Date: 2015-02-01 09:35:16 Data types Primitive types Pointer C LLVM 64-bit Type safety Intel Memory Model Tagged pointer Computing Software engineering Computer programming

UPDATE